type T = [foo? string]
